| Fundamentals of generalized recursion theory - Fitting, Melvin, 1942- Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb. Keywords: Recursion theory Downloads: 160 | |

| Recursive Bash Program - Lance Miller This image is of bash programming language code written by Seattle systems philosopher Lance Miller. The code is an example of recursion. Keywords: recursion; programming Downloads: 251 |

| A recursive model of the spatial allocation of migrants : some empirical results (Volume BEBR No. 341) - Kau, James B Includes bibliographical references (leaves 26-27) Keywords: Recursion theory; Migration, Internal Downloads: 95 | |

| Infinite Flickr: The Movie MPEG4 - Monkiineko An animated slideshow of the pictures from the Infinite Flickr group from www.flickr.com which can be seen here: http://www.flickr.com/groups/infinite/ Note: This version uses the MPEG4 video codec rather than H.264 (but the H.264 version looks better if you can play it). Keywords: infinite; flickr; slideshow; recursion Downloads: 1,063 | |

| Numerical evaluation of diffraction integrals (Volume 105) - Mielenz, K.D. Journal of Research of the National Institute of Standards and Technology Keywords: recursion formula; circular aperture; diffraction; numerical integration Downloads: 125 | |

| The recursive nature of descriptions : a fixed point (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 708) - Peterson, Larry J "BCL no. 252." Keywords: Recursion theory; Pattern recognition systems; Turing machines Downloads: 51 | |

| mit :: ai :: aim :: AIM-015 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-015 Keywords: theorem; induction; recursion; reverse; defined; cons; scanning; proof; theorems; prove; recursion induction; scanning agent Downloads: 29 | |

| Bessel functions I and J of complex argument and integer order (Volume 77B) - Sookne, David J. Journal of Research of the National Bureau of Standards Keywords: Bessel functions; backward recursion; error bounds; Miller algorithm; difference equation Downloads: 87 | |

| A recursively defined ordering for proving termination of term rewriting systems (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 943) - Plaisted, David A "UILU-ENG 78 1736." Keywords: Electronics digital computers; Automatic theorem proving; Recursion theory Downloads: 25 | |

| Certification of an algorithm for Bessel functions of complex argument (Volume 77B) - Sookne, David J. Journal of Research of the National Bureau of Standards Keywords: Backward recursion; Bessel function; bit comparison; error bounds; relative error Downloads: 59 | |

| autonetics :: recomp :: software :: Recomp Users Library :: 1102 125-R First Order System May61 From the bitsavers.org collection, a scanned-in computer-related document.autonetics :: recomp :: software :: Recomp Users Library :: 1102 125-R First Order System May61 Keywords: recursion; routine; division; solve; subroutine; fst; addr; program; accumulator; linearly Downloads: 19 | |

| Bessel functions of real argument and integer order (Volume 77B) - Sookne, David J. Journal of Research of the National Bureau of Standards Keywords: Backward recursion; Bessel functions; difference equation; error bounds; Miller algorithms Downloads: 92 | |

| mit :: ai :: aim :: AITR-754 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-754 Keywords: logarithmic; recursion; linear; joint; torques; manipulator; vector; recursive; backward; node; motor torques; artificial intelligence; linear recursive; forward recursion; backward recursion; combining form; relational parameters; inverse dynamics; logarithmic recursive; time required Downloads: 47 | |

| It's later than you think... - Tom Fahy
Keywords: Organ; Progressive Recursion; Scalar Guitar; Tom Fahy; Stag Records; Creative Commons; Instrumental; Experimental; Generative Algorithms Downloads: 219 |

| 6.001 Fall 2005: Structure and Interpretation of Computer Programs - MIT OCW This course introduces students to the principles of computation. Upon completion of 6.001, students should be able to explain and apply the basic methods from programming languages to analyze computational systems, and to generate computational solutions to abstract problems. Substantial weekly programming assignments are an integral part of the course. This course is worth 4 Engineering Design Points. Keywords: programming; Scheme; abstraction; recursion; iteration; object oriented; structure; interpretation; computer programs; languages; procedures Downloads: 7,880 | |

| univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V14-323 From the bitsavers.org collection, a scanned-in computer-related document.univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V14-323 Keywords: illiac; tables; store; bessel; notes; recursion; program; location; spherical; order; location order; order notes; spherical bessel Downloads: 22 | |

| mit :: ai :: aim :: AIM-032 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-032 Keywords: scanning; evaluated; recursion; lisp; agent; evaluating; document; recursive; partions; jknownj; scanning agent Downloads: 26 | |

| ibm :: 650 :: ades :: NAVORD 4209 Automatic Digital Encoding System II Feb56 From the bitsavers.org collection, a scanned-in computer-related document.ibm :: 650 :: ades :: NAVORD 4209 Automatic Digital Encoding System II Feb56 Keywords: recursion; equation; storage; formulation; denotes; vector; ades; dependent; variables; values; dependent variable; library function; navord report; independent variables; double recursion; dependent variables; simple scalar; master phase; phase equation; simple vector Downloads: 5 | |

| mit :: lcs :: tr :: MIT-LCS-TR-093 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-093 Keywords: induction; proof; truncation; structural; program; recursive; function; recursion; definitions; prove; conditional expressions; function definition; truncation induction; induction hypothesis; structural induction; function definitions; third function; induction proof; recursion induction; automatic program Downloads: 21 | |

| mit :: lcs :: tr :: MIT-LCS-TR-526 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-526 Keywords: object; concurrent; recursion; message; deadlock; port; recursive; thread; calls; method; recursive call; method activation; object depth; current port; recursion deadlock; mutual exclusion; binding map; split depth; port binding; concurrent calls Downloads: 21 | |

| BSTJ 61: 8. October 1982: Approximate Mean Waiting Times in Transient GI/G/1 Queues. (Jagerman, D.L.) Bell System Technical Journal, 61: 8. October 1982 pp 2003-2022. Approximate Mean Waiting Times in Transient GI/G/1 Queues. (Jagerman, D.L.) Keywords: recursion; equilibrium; exact; numerical; approximation; queueing; approximate; queues; table; recursions; queueing system; numerical examples; system technical; equilibrium values; bell system; service time; transient analysis; waiting time; recursion formulae; transient behavior Downloads: 24 | |

| Estimating Time from Atomic Clocks (Volume 88) - Jones, R.H. Journal of Research of the National Bureau of Standards Keywords: atomic clocks; Kalman recursion; maximum likelihood estimation; missing observations; nonliner estimation; state space; time series analysis; unequally spaced data Downloads: 102 | |

| univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V06-202 From the bitsavers.org collection, a scanned-in computer-related document.univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V06-202 Keywords: routine; error; legendre; set; program; address; location; functions; recursion; lsp; order notes; associated legendre; set address; location order; plant address Downloads: 15 | |

| Mathematics for Computer Science - Chapter 8- Directed Graphs - Albert R. Meyer A cycle in a digraph is de�ned by a path that begins and ends at the same vertex. This includes the cycle of length zero that begins and ends at the vertex. A directed acyclic graph (DAG) is a directed graph with no positive length cycles. Keywords: Maths; Logic, Numbers and Set Theory; Graph Theory; Posets and Zorn�s Lemma; Set Theory; Partially Ordered Sets; Transitive Closures, Epsilon-Induction and Epsilon-Recursion; Mathematics Downloads: 7 | |

| xerox :: mesa :: OIS Language Selection 1974 From the bitsavers.org collection, a scanned-in computer-related document.xerox :: mesa :: OIS Language Selection 1974 Keywords: ois; mesa; language; sigma; spl; reentrancy; recursion; mpl; programming; parc; error routine; control block; base register; ois software; local storage; object code; reentrant procedures; virtual machine; programming language; static procedures Downloads: 15 | |

| BSTJ 38: 5. September 1959: Group Testing to Eliminate Efficiently All Defectives in a Binomial Sample. (Sobel, Milton; Groll, Phyllis A.) Bell System Technical Journal, 38: 5. September 1959 pp 1179-1252. Group Testing to Eliminate Efficiently All Defectives in a Binomial Sample. (Sobel, Milton; Groll, Phyllis A.) Keywords: procedure; defective; units; binomial; denote; values; ire; defectives; testing; expected; test group; tests required; expected number; group testing; system technical; defective set; dividing point; eliminate defectives; bell system; recursion formulae Downloads: 21 | |

| mit :: lcs :: tr :: MIT-LCS-TR-046 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-046 Keywords: program; input; canonic; string; canon; integer; label; algorithm; variable; scan; carriage return; term number; print comment; mini mad; input string; canonic systems; mad program; canonic system; label lists; left recursion Downloads: 8 | |

| Idea Defined - Nexus (2011) - Idea Defined spoken word over noise and sound scapes Keywords: idXed, idea defined, nexus, jack kerouac, spoken word, poetry, farm, on the road, siddhartha, hesse, dreams, journal, soul, sole, alone, forest, missouri, dancing rabbit, eco-village, ginsberg, fritz the cat, philosophy, meta, recursion, therapy, self-actualization, bruce lee Downloads: 8 |

| mit :: ai :: aim :: AIM-577 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-577 Keywords: tinker; code; defining; function; selecting; program; menu; derivative; snapshot; session; code february; tinker edit; menu operation; program testing; tinker evaluates; example february; ordinary lisp; recursion february; snapshot window; partial definition Downloads: 30 | |

| BSTJ 61: 9. November 1982: An Improved Model for Isolated Word Recognition. (Tribolet, J.M.; Rabiner, L.R.; Wilpon, J.G.) Bell System Technical Journal, 61: 9. November 1982 pp 2289-2312. An Improved Model for Isolated Word Recognition. (Tribolet, J.M.; Rabiner, L.R.; Wilpon, J.G.) Keywords: frame; lpc; distance; recognition; word; dtw; model; analysis; feature; isolated; dtw recursion; test pattern; isolated word; bell system; word recognition; lpc distance; lpc analysis; decision rule; system technical; recognition accuracy Downloads: 18 | |

| BSTJ 53: 3. March 1974: Formulas on Queues in Burst Processes - II. (Sondhi, M.M.; Gopinath, B.; Mitra, Debasis) Bell System Technical Journal, 53: 3. March 1974 pp 425-448. Formulas on Queues in Burst Processes - II. (Sondhi, M.M.; Gopinath, B.; Mitra, Debasis) Keywords: buffer; recursion; burst; probability; denote; superscript; markov; formulas; vector; behavior; burst length; transmission fault; system technical; infinitely long; bell system; burst lengths; asymptotic behavior; size greater; buffer content; buffer size Downloads: 33 | |

| mit :: ai :: aim :: AIM-484 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-484 Keywords: turtle; logo; session; deborah; procedures; kathy; monica; procedure; ray; laura; total turtle; turtle trip; programming skills; logo programming; simple recursion; turtle commands; observation checklist; teacher introduced; basic turtle; turtle geometry Downloads: 27 | |

| BSTJ 52: 1. January 1973: Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.) Bell System Technical Journal, 52: 1. January 1973 pp 9-33. Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.) Keywords: buffer; recursive; matrix; burst; probability; recursion; formulas; formula; probabilities; markov; unit circle; transition matrix; recursive formula; finite buffer; system technical; weighted sum; recursive formulas; burst length; bell system; remaining columns Downloads: 26 | |

| mit :: lcs :: tr :: MIT-LCS-TR-110 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-110 Keywords: recursive; functions; theorem; hierarchy; subrecursive; hierarchies; function; primitive; elementary; honesty; fur mathematische; subrecursive classes; primitive recursive; logik und; recursive functions; complexity classes; ordinal recursion; recursive function; honesty procedure; turing machine Downloads: 20 | |

| BSTJ 55: 4. April 1976: Digital Single-Tone Generator-Detectors. (Kurshan, R.P.; Gopinath, B.) Bell System Technical Journal, 55: 4. April 1976 pp 469-496. Digital Single-Tone Generator-Detectors. (Kurshan, R.P.; Gopinath, B.) Keywords: filter; cyclotomic; weighting; coefficients; resonances; recursion; frequency; roots; filters; integer; cyclotomic filters; perfect arithmetic; word length; initial conditions; weighting function; feedback loop; fourier coefficient; bell system; system technical; length required Downloads: 49 | |

| mit :: ai :: aim :: AIM-031 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-031 Keywords: functions; defined; function; computable; conditional; canonical; computation; recursive; variables; expressions; turing machines; computable functions; recursive function; conditional form; conditional expressions; canonical form; order predicate; recursive functions; symbolic expressions; recursion induction Downloads: 26 | |

| mit :: ai :: aim :: AIM-453 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-453 Keywords: interpreter; steele; sussman; lisp; procedures; art; figure; env; eval; procedure; referential transparency; free variables; side effects; lexical scoping; dynamic scoping; top level; procedure definitions; recursion equations; driver loop; dynamically scoped Downloads: 27 | |

| mit :: lcs :: tr :: MIT-LCS-TR-131 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-131 Keywords: recursive; function; theorem; formula; definition; predicate; deduction; theory; functions; formulas; primitive recursive; second order; order logic; recursive functions; recursive definition; recursive function; primitive recursion; partial recursive; problem set; set theory Downloads: 20 | |

| MIT 6.00 Introduction to Computer Science and Programming, Fall 2008 - MIT OpenCourseWare This subject is aimed at students with little or no programming experience. It aims to provide students with an understanding of the role computation can play in solving problems. It also aims to help students, regardless of their major, to feel justifiably confident of their ability to write small programs that allow them to accomplish useful goals. The class will use the Python™ programming language. Keywords: Python; programming; computer science; computation; problem solving; recursion; binary search; classes; inheritance; libraries; algorithms; optimization problems; modules; simulation; big O notation; control flow; exceptions; building computational models; software engineering Downloads: 248,944 | |

| dec :: tech reports :: SRC-RR-16 From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-16 Keywords: predicate; commands; theorem; command; outcome; predicates; recursion; partial; fixpoint; calculus; predicate transformers; proper outcome; partial commands; limit theorem; general calculus; total correctness; predicate transformer; partial relations; correctness model; approximation relation | |

| generalmanual 000036365 generalmanual 000036365 Keywords: menu; data; memory; function; variable; graph; display; press; recursion; table; variable data; data menu; table range; function memory; menu appears; view window; function key; data type; table contents; screen displays Downloads: 5 | |

| idXed - Storm the Plateau (2009) - facebook/FCR773 .zip file of 6-tracks/37mins of abstract music inspired by dreams, trips, hip hop, grindcore, cartoons and questioning existence. Keywords: idXed, idea defined, prefuse 73, trip hop, man from earth, interstate 60, alex jones, david wilcock, 2012 enigma, neanderthal, grindcore, hellnation, fastcore, thrash, psychedelic, trip, DXM, plateau, sludge, doom, stephan hawkin, the universe, schizophrenia, multiple personalities, peak, storm, assimilation, come down, RPG, legend of zelda, super mario world, midi, 8bit, recursion, southern rock, pi, spoken word, poetry Downloads: 13 |

| Recursion usage in Programming - Vitaly Grinko aka perlaws at bitbybit.ru This document summarizes all the information regarding recursion - its types and usage rules, code efficiency and appropriate optimization methodics. Published at Bitbybit.ru http://bitbybit.ru/article/86/ Keywords: recursion; bitbybit; programming; perlaws; functions; Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ; ÑÐ°Ð¼Ð¾ÑÑÐ¸ÑÐµÐ»Ñ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Downloads: 81 | |

| idXed - Sickly Thin (2012) 12 minutes of guitar slop math grind drum machine beats Keywords: idxed; pig destroyer; psychology; discordance axis; the simpsons; morbid obesity; grind; math metal; edward james olmos; grindcore; sludge; thrash; thrash metal; hardcore; hardcore punk; iron lung; agoraphobic nosebleed; insect warfare; psychedelic; poison ivy; urushiol; breaking bad; schizopolis; schizophrenia; dementia; brutal truth; pretty little flower; PLF; circle pit; douglas hofstadter; recursion; fractal; chaos theory; butterfly effect; infinity; drum machine; downward spiral; third eye; lucidity; lucid; dreams; astral projection; noism; ghostwriter; gigantic brain; uphill battle Downloads: 13 |

| idXed - Forest Punk Just For Fun (2013) - Forest Crew Records (773) wrote and recorded a song a day for a month (with minimal cheating when labor picked up...) and out came this album! Awkward (mostly acoustic) jams with a wide range of lyrical themes and guitar styles. Enjoy! Keywords: idxed; forest punk; folk punk; wagon wheel; dinosaur jr; jets to brazil; jawbreaker; alkaline trio; hank III; black flag; abrade; addxm; idea defined; morvern restraint; johnny cash; hank williams sr; andrew jackson jihad; arroyo deathmatch; hail seizures; theleakyfaces; vagabond; wanderer; ramshackle glory; folk; indie; dumpster diving; bagels; pogs; notebooks; poetry; alternative; FCR; chicago; albuquerque; homebrew; monopoly; wine; ukelele; mickey's; malt liquor; riddles; puzzles; jedi mind tricks; acoustic; punk; ska; lord buckley; freight trains; galesburg; dubuque; bellevue; davenport; couchsurfing; hitchhiking; hitch; bukowski; rodney mullen; arrested development; tom waits; coffee; labor; rio grande; diy; sandia; escapism; belen; new mexico; BNSF; artist's way; experimental; bob dylan; neil young; johnny hobo; blackbird raum; hendrix; fender; fuckajob; minimum wage; look back and laugh; forest glen; forest crew; the woods; bonfire; alcohol; boombox; beer; pocket; pool; ocean; reflection; recursion Downloads: 147 |

| A Matrix of Meaning for Sacred Alphabets - Tenen, Stan http://qbl.com.br/?p=1954 Keywords: Hebrew Alphabet; Matrix; Greek Alphabet; Arabic Alphabet; Numerology; Aleph; Letter A; Meru; Physical World; Spiritual World; Reality; Consciousness; Genesis; Letter B; Pyramid Shape; Genesis 1:1; Carlo Suares; Universe; Hierarchical System; Letter Z; Ouroboros; Torus; Reflexive System; Hyperdimensional Objects; Pi; Naked Recursion; Assimetry; Flame of Consciousness; Shadows; Vortex; Donut; Zohar; The Lilly; Rabbi Schuman; 13 Leafs; Sphere; Cup of Blessing; Seed; Star of Seeds; 7-Color Map; Life Cycle; Life Force; Angular Momentum; Intrinsic Spin; Eliptic Sections; Self-Referencial Quality; Topology; Rubik Cube; Symmetry Axis; Torah; Loops; Tzadi; Tree of Life; Stephen Hawking; Taurus; Creation; Beth; ZB; Hex Map; 22 Letters; 27 Letters; Secret of Redemption; 5 Final Letters; 1-3 Model; Tetrahelix; DNA; 22 Tetrahelix Faces; Gimel; Daleth; He; Knot Theory; Transparent Homogeneous Isotropic Cosmic Gelly; Fiat Lux; 2-Torus; Trefoil; Simple Knot; Manifestation; 22 Colored Regions; Jubilee; Keith Critchlow; Soul as Sphere and Androgyne; Sacred Symbols; Primordial Movement; Concentric Infusion Downloads: 340 | |

| Fundamentals Of Computer Programming with CSharp - Nakov eBook v2013 - Svetlin Nakov The free book "Fundamentals of Computer Programming with C#" is a comprehensive computer programming tutorial that teaches programming, logical thinking, data structures and algorithms, problem solving and high quality code with lots of examples in C#. It comes with free video lessons, presentations, exercises and solutions.This free programming tutorial starts with the first steps in programming and software development like variables, data types, conditional statements, loops and arrays and c... Keywords: free; programming; book; computer programming; programming fundamentals; ebook; book programming; C#; CSharp; C# book; tutorial; C# tutorial; programming concepts; programming fundamentals; compiler; Visual Studio; .NET; .NET Framework; data types; variables; expressions; statements; console; conditional statements; control-flow logic; loops; arrays; numeral systems; methods; strings; text processing; StringBuilder; exceptions; exception handling; stack trace; streams; files; text files; linear data structures; list; linked list; stack; queue; tree; balanced tree; graph; depth-first search; DFS; breadth-first search; BFS; dictionaries; hash tables; associative arrays; sets; algorithms; sorting algorithm; searching algorithms; recursion; combinatorial algorithms; algorithm complexity; OOP; object-oriented programming; classes; objects; constructors; fields; properties; static members; abstraction; interfaces; encapsulation; inheritance; virtual methods; polymorphism; cohesion; coupling; enumerations; generics; namespaces; UML; design patterns; extension methods; annonymous types; lambda expressions; LINQ; code quality; high-quality code; high-quality classes; high-quality methods; code formatting; self-documenting code; code refactoring; problem solving; problem solving methodology Downloads: 812 | |